Towards a Formal Foundation of Software Reuse
ثبت نشده
چکیده
2011 Acknowledgements I would like to thank all people which have made this work possible. I express my sincere gratitude to my supervisor, Professor Militon Frenţiu, for the chance of pursuing a PhD in Software Engineering, as well as for his support, guidance and trust throughout the writing of this thesis. I am deeply grateful to Dr. Dan Chiorean for the research opportunities offered, for all the knowledge he has shared with me, as well as for the insightful debates, constructive criticism, and continuous help throughout my doctoral study. Last, but not least, I warmly thank my family, for all the emotional support they have provided me with. The financial assistance received is also gratefully acknowledged.
منابع مشابه
Formalizing and Automating Component Reuse
Using existing components to construct software systems has significant potential to improving software productivity and quality. A key problem in software component reuse is the selection of appropriate components for satisfying a given requirement. In this paper, we define a component interface generality relation that provides a foundation for component selection. This generality relation, r...
متن کاملTowards Reuse with “Feature-Oriented Event-B”
Event-B [19] is a language for the formal specification and verification of reactive systems. The language and its RODIN toolkit represent a leading model-based technology for formal software construction. However, scalability is a major current concern, especially the dimension of reusability. We outline a proposed infrastructure for scalable development with reuse for Event-B. We focus specif...
متن کاملAspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented Speci cation
This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this framework. Examples of such aspects include real-time constraints, location/distribution aspects, behavioral requirement aspects, fault-tolerance aspects, power requirement aspects, and many others. The idea is to...
متن کاملAspects + GAMMA = AspectGAMMA A Formal Framework for Aspect-Oriented Specification
This paper describes an extension to the GAMMA formalism, which we name AspectGAMMA, and we show how non-computational aspects can be expressed separately from the computation in this framework. Examples of such aspects include real-time constraints, location/ distribution, behavioral requirements, fault-tolerance, power requirements, and many other aspects. The idea is to abstract the emerging...
متن کاملA Graph-Based Algorithm for Automated Refactoring
Software reuse is advocated for increasing the productivity of software engineers and improving the quality of software. As software-reuse practices are institutionalized, there must be formal techniques and associated methodologies for software engineers to accurately assess and increase the potential and actual reuse of software artifacts. The goal must be to support domain-and-organization r...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011